Skip to content

Type inference precursor to IR conversion support for impl-style procs.#4130

Merged
copybara-service[bot] merged 1 commit intomainfrom
test_901559636
Apr 20, 2026
Merged

Type inference precursor to IR conversion support for impl-style procs.#4130
copybara-service[bot] merged 1 commit intomainfrom
test_901559636

Conversation

@copybara-service
Copy link
Copy Markdown

Type inference precursor to IR conversion support for impl-style procs.

  • Do things for ProcDefs that have thus far only been done for StructDefs.
  • Add utils for dealing with ProcDefs.
  • Compute proc init tuples in CollectConstants and disallow the use of non-constant initializers.

* Do things for ProcDefs that have thus far only been done for StructDefs.
* Add utils for dealing with ProcDefs.
* Compute proc init tuples in CollectConstants and disallow the use of non-constant initializers.

PiperOrigin-RevId: 902850513
@copybara-service copybara-service Bot merged commit f2b617d into main Apr 20, 2026
@copybara-service copybara-service Bot deleted the test_901559636 branch April 20, 2026 22:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant